|
|
An app to demonstrate the risks of granting permissions in Android OS.
Michálek, J. ; Oujezský, V.
This article presents an application for demonstrating the risks of granting unsafe authorizations on Android devices. These permissions allow the application to access sensitive user data. The application uses practical examples to illustrate what user data can be abused by enabling permission. Nowadays, the security of user data is a growing topic. Therefore, mobile users themselves must be aware of the risks they expose themselves to by granting permissions.
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
|
|
|
Bezpečnostní možnosti v Androidu a alternativních ROM
David, Adam ; Palovský, Radomír (vedoucí práce) ; Pavlíček, Luboš (oponent)
Cílem této práce je analyzovat operační systém Android a úroveň jeho zabezpečení. Práce je rozdělena do tří částí: v první z nich stručně popíši operační systém a jeho vývoj, v druhé se věnuji analýze bezpečnostního modelu Androidu a poslední část dále studuje možnosti a funkce vybraných alternativních ROMů, repozitářů a aplikací s důrazem na bezpečnost a soukromí. Byť je Android dostupný pro celou škálu nejrůznějších zařízení práce se zaměřuje na mobilní telefony.
|
|
|
Pravidla normativních her
Svoboda, Vladimír
Článek se zabývá možnostmi využití rámce normativních jazykových her, který původně navrhl D. Lewis, pro zkoumání logických vlastností vyjádření preskriptivního jazyka.
|
host ::
RSS.